satisfiable formula

[数] 可满足公式